Natural Language Semantics and Computability

Topology and Computability Thesis Proposal

In this thesis I will relate standard computability to computability of reals|and related spaces|and link these notions with denotational semantics of computer languages. The framework for the proposed study was worked out in collaboration with Steve Awodey, Lars Birkedal and Dana Scott. The rst section gives a motivation for our setup and indicates how standard computability ts in it. The subs...

SPARQL for a Web of Linked Data: Semantics and Computability (Extended Version)

The World Wide Web currently evolves into a Web of Linked Data where content providers publish and link data as they have done with hypertext for the last 20 years. While the declarative query language SPARQL is the de facto for querying a-priory defined sets of data from the Web, no language exists for querying the Web of Linked Data itself. However, it seems natural to ask whether SPARQL is a...

SPARQL for a Web of Linked Data: Semantics and Computability

The World Wide Web currently evolves into a Web of Linked Data where content providers publish and link data as they have done with hypertext for the last 20 years. While the declarative query language SPARQL is the de facto for querying a-priory defined sets of data from the Web, no language exists for querying the Web of Linked Data itself. However, it seems natural to ask whether SPARQL is a...

Studies in Ethnopragmatics, Cultural Semantics, and ‎Intercultural Communication: Ethnopragmatics and Semantic ‎Analysis, Lauren Sadow, Bet Peeters & Kerry Mullan (Eds.) ‎‎(2019), Springer, ISBN 978-981-32-9982-5‎

In the Beginning was Game Semantics?

This chapter presents an overview of computability logic — the game-semantically constructed logic of interactive computational tasks and resources. There is only one non-overview, technical section in it, devoted to a proof of the soundness of affine logic with respect to the semantics of computability logic.